Formalizing common belief with no underlying assumption on individual beliefs
نویسندگان
چکیده
منابع مشابه
Common Belief with the Logic of Individual Belief
The logic of common belief does not always re‡ect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief operator may fail to satisfy axiom 5. That is, it can happen that neither is A commonly believed nor is it common belief that A is not commonly believed. We identify the intersubjective restrictions on individual beliefs...
متن کاملReasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs
We formalize reasoning about fuzzy belief and fuzzy common belief, especially incomparable beliefs, in multi-agent systems by using a logical system based on Fitting’s many-valued modal logic, where incomparable beliefs mean beliefs whose degrees are not totally ordered. Completeness and decidability results for the logic of fuzzy belief and common belief are established while implicitly exploi...
متن کاملFormalizing natural deduction with assumption bases
We introduce NDL, a new formalization of Fitch-style natural deduction based on the abstraction of assumption bases. NDL proofs tend to be readable, writable, concise, and can be checked very efficiently. We present the abstract syntax of NDL, followed by two different kinds of formal semantics: evaluation and denotational. We then relate the two semantics and show how proof checking becomes ta...
متن کاملLexicographic beliefs and assumption
Foundations for iterated admissibility (i.e., the iterated removal of weakly dominated strategies) need to confront a fundamental challenge. On the one hand, admissibility requires that a player consider every strategy of their opponents possible. On the other hand, reasoning that the opponents are rational requires ruling out certain strategies. Brandenburger, Friedenberg and Keisler’s (BFK, E...
متن کاملNo Belief without Reason: Logics of Argument-Based Beliefs
The paper addresses how the information state of an agent relates to the arguments that the agent endorses. Information states are modeled in doxastic logic and arguments by recasting abstract argumentation theory in a modal logic format. The two perspectives are combined by an application of the theory of product logics, delivering sound and complete systems in which the interaction of argumen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Games and Economic Behavior
سال: 2020
ISSN: 0899-8256
DOI: 10.1016/j.geb.2020.02.007